Merge pull request #378 from Vasilis/update_lispmob
authorsbyx <[email protected]>
Wed, 1 Oct 2014 18:13:16 +0000 (20:13 +0200)
committersbyx <[email protected]>
Wed, 1 Oct 2014 18:13:16 +0000 (20:13 +0200)
lispmob: Update to 0.4.1


Trivial merge